Initial detailed routing algorithms

In this work, we present a study of the problem of routing in the context of the VLSI physical synthesis flow. We study the fundamental routing algorithms such as maze routing, A*, and Steiner tree-based algorithms, as well as some global routing algorithms, namely FastRoute 4.0 and BoxRouter 2.0. We dissect some of the major state of the art initial detailed routing tools, such as RegularRoute, TritonRoute, SmartDR and Dr.CU 2.0. We also propose an initial detailed routing flow, and present an implementation of the proposed routing flow, with a track assignment technique that models the problem as an instance of the maximum independent weighted set (MWIS) and utilizes integer linear programming (ILP) as a solver. The implementation of the proposed initial detailed routing flow also includes an implementation of multiple-source and multiple-target A* for terminal andnet connection with adjustable rules and weights. Finally, we also present a study of the results obtained by the implementation of the proposed initial detailed routing flow and a comparison with the ISPD 2019 contest winners, considering the ISPD 2019 and benchmark suite and evaluation tools.Neste trabalho, apresentamos um estudo do problema de roteamento no contexto do fluxo de síntese física de circuitos integrados VLSI. Nós estudamos algoritmos de roteamento fundamentais como roteamento de labirinto, A* e baseados em árvores de Steiner, além de alguns algoritmos de roteamento global como FastRoute 4.0 e BoxRouter 2.0. Nós dissecamos alguns dos principais trabalhos de roteamento detalhado inicial do estado da arte, como RegularRoute, TritonRoute, SmartDR e Dr.CU 2.0. Também propomos um fluxo de roteamento detalhado inicial, e apresentamos uma implementação do fluxo de roteametno proposto, com uma técnica de assinalamento de trilhas que modela o problema como uma instância do problema do conjunto independente de peso máximo e usa programação linear inteira como um resolvedor. A implementação do fluxo de rotemaento detalhado inicial proposto também inclui uma implementação de um A* com múltiplas fontes e múltiplos destinos para conexão de terminais e redes, com regras e pesos ajustáveis. Por fim, nós apresentamos um estudo dos resultados obtidos pela implementação do fluxo de roteamento detalhado inicial proposto e comparamos com os vencedores do ISPD 2019 contest considerando a suíte de teste e ferramentas de avaliação do ISPD 2019

Pattern classification for layout hotspots

The final objective of an integrated circuit design is to produce a layout, that is, a geometrical representation of the circuit where the geometrical shapes correspond to patters that will be formed by layers of metal, oxide, and semiconductors. These patterns are essentially descriptions that will be used to print the circuit through chemical, thermal and photographic processes. To ensure the layout can be used to print the circuit with no defects, it is necessary to run design rules check. This verification searches for patterns that violate design rules, which makes it impossible to guarantee defect-free printing. However, some layout patterns may present printability problems even when design rules are respected. To solve this problem, physical verification flows are applied to the layout with the objective of detecting and treating such patterns. The sheer number of these layout printability hotspots and the fact that they are sometimes similar to each other suggests that the physical verification flow can be sped up by clustering together similar patterns. In this work, we address the problem of complex shape partitioning, incorporating an algorithm with complexity O(n5=2) into the layout hotspot clustering flow, which allows for clustering of hotspots in benchmarks with complex polygons. Furthermore, a study of the viability of a machine learning flow for incremental clustering is conducted, covering the choice of features and analysis of candidate models.O objetivo final do fluxo de projeto de um circuito é produzir um leiaute, uma representação geométrica do circuito, onde as formas geométricas correspondem aos padrões que serão formados por camadas de metal, óxido e semicondutores. Esses padrões são essencialmente descrições que serão usadas para imprimir o circuito através de processos químicos, térmicos e fotográficos. Para garantir que o leiaute possa ser usado para impressão de um circuito integrado sem defeitos, é necessário executar verificações de regras de projeto. Essa verificação encontra padrões que violam regras que inviabilizariam a garantia de impressão sem defeitos. Porém, alguns padrões do leiaute podem apresentar problemas na impressão mesmo quando a checagem das regras de projeto não encontra erros. Para solucionar esse problema, fluxos de verificação física são aplicados no leiaute com o objetivo de detectar e tratar tais padrões. A grande quantidade de regiões com problemas de impressão e a similaridade entre elas sugere que o fluxo de verificação física pode ser acelerado ao se agrupar padrões similares. Neste trabalho, o problema de particionamento de polígonos complexos é abordado, e um algoritmo de particionamento de complexidade O(n5=2) é incorporado ao fluxo de classificação e agrupamento de regiões de interesse, permitindo que casos de teste com polígonos complexos tenham suas regiões de interesse agrupadas. Além disso, um estudo sobre a viabilidade de um fluxo de aprendizado de máquina é conduzido, cobrindo a escolha de atributos e a análise de diferentes modelos candidatos

CURVA DE CRESCIMENTO E EFICIÊNCIA ALIMENTAR DE SUBSPÉCIES DE Boa constrictor MANTIDAS EM CATIVEIRO

The growth curve is an important parameter for estimating the development of an animal and assisting breeding programs and assessing welfare. However, little data is available on the growth curves of snakes, including native species such as Boa constrictors. Therefore, the objective of the present study was to determine the growth curve of three subspecies of Boa constrictor juveniles (B. constrictor constrictor - Bcc, B. constrictor amarali - Bca and B. constrictor occidentalis - Bco) using data from a commercial breeder located in Brazil. Thirty-seven newborn snakes were placed in individual plastic boxes and kept in a temperature-controlled room (30±2°C and 70-80% humidity) until they reached commercial size (58 days). The snakes' weight and food intake were recorded weekly. These data were used to calculate total food intake, relative weight gain, feed efficiency and growth curves for snakes, comparing animals within subspecies and sexes. There was no difference in growth between genders for Bcc (p = 0.9844) and Bco (p = 0.9845), while for Bca females presented a greater growth (p = 0.0052). There were no statistical differences in relative weight gain and feed efficiency among subspecies. The parameters and growth curves determined in this study can be used as an initial reference guide to monitor the growth of Boa constrictor newborns and contribute to the establishment of an adequate food management for snakes kept in captivity, being a possible parameter for quantifying to determine welfare during the development of newborn snakes.A curva de crescimento é um parâmetro importante para estimar o desenvolvimento de um animal e auxiliar em programas de reprodução e avaliação do bem-estar. No entanto, poucos dados estão disponíveis sobre as curvas de crescimento de serpentes, inclusive espécies nativas como as jiboias. Portanto, o objetivo do presente trabalho foi determinar a curva de crescimento de três subespécies de Boa constrictor juvenis (B. constrictor constrictor - Bcc, B. constrictor amarali - Bca e B. constrictor occidentalis - Bco) usando os dados de um criador comercial localizado no Brasil. Trinta e sete cobras recém-nascidas foram alocadas em caixas plásticas individuais e mantidas em uma sala com temperatura controlada (30±2°C e 70-80% umidade) até atingir o tamanho comercial (58 dias). O peso e a ingestão alimentar das cobras foram registrados semanalmente. Esses dados foram usados para calcular a ingestão total dos alimentos, o ganho de peso relativo, a eficiência alimentar e as curvas de crescimento das serpentes e comparados entre as subespécies e entre sexos. Não houve diferença no crescimento entre os sexos para Bcc (p=0,9844) e Bco (p=0,9845), enquanto para Bca as fêmeas apresentaram maior crescimento (p=0,0052). Não foi observada diferença estatística quanto ao ganho de peso relativo e a eficiência alimentar entre as subespécies. Os parâmetros e as curvas de crescimento determinados neste estudo podem ser usados como referência para acompanhamento do crescimento de filhotes de Boa constrictor e contribuir para o estabelecimento de um manejo alimentar adequado para serpentes mantidas em cativeiro, sendo um possível parâmetro para quantificação do bem-estar durante o desenvolvimento de serpentes recém-nascidas

Avaliação Visual de Rios Urbanos: Metodologia e Aplicação

A bacia hidrográfica do Rio Jacuném, no Município da Serra – Espírito Santo é um exemplo de recorte geográfico apropriado pelo meio urbano e com características rurais, onde se observa um intenso processo de ocupação e consequentemente a degradação dos elementos naturais. Esse processo se caracteriza por uma constante dialética entre o social e o natural, e é compreendida nas palavras de Ashmore (2015) como: "uma co-produçãosócio-natural". Dessa forma, este artigo realiza uma análise a partir do inventário de avaliação visual das condições de rios tropicais urbanos proposto por Schlee, Baptista e Tamminga (2007), correlacionando-o com aspectos da dinâmica social e transformação da paisagem natural na bacia em estudo. O inventário foi adaptado às condições geomorfológicas específicas da dinâmica dos rios do litoral do Estado a fim de avançar sobre as questões próprias dos ambientes costeiros. A integração das informações levantadas em campo definiram diferentes tipos de respostas da natureza frente à ação antrópica. A análise apresenta uma significativa importância para os estudos fluviais que tangem os ambientes de interface com áreas urbanas. Neste sentido, o inventário apresentado corresponde a uma ferramenta de suporte para o diagnóstico, análise dos processos de modificação da natureza e planejamento ambiental

PROGRAMA CIÊNCIA SEM FRONTEIRAS: um retrospecto da política de estímulo à ciência, tecnologia e inovação

Este estudo busca compreender de maneira retrospectiva como ocorreu o ciclo do programa Ciência sem Fronteiras (CsF) ao considerá-lo uma política pública intersetorial. Para tal, tem como objetivo: descrever a intersetorialidade do CsF enquanto uma política de estímulo à ciência, tecnologia e inovação, uma política educacional e uma política de redução de desigualdades; investigar a formulação, a organização e a gestão do CsF; e verificar como foi a implementação do programa. A partir do estudo de caso do CsF, realiza uma revisão da literatura de políticas públicas, além da apuração de trabalhos empíricos, de informações governamentais e da repercussão midiática sobre o programa. Conclui que embora o programa tenha tido falhas, o seu fim representou um retrocesso no desenvolvimento brasileiro pelo regresso ao incentivo à inovação e por retirar as oportunidades de inclusão social. Palavras-chave: Programa Ciência Sem Fronteiras. Políticas Públicas.  Intersetorialidade.SCIENCE WITHOUT BORDERS PROGRAM: a retrospect of the politics of stimulus to science, technology and innovationAbstractThis study sought to understand retrospectively how the cycle of the program Science Without Border (CsF) took place, by analyzing it as an intersectoral public policy. To do so, it set as goals: to describe the intersectoriality of the program as a stimulus to science, technology and innovation policy, as an educational policy, and as a reduction of social inequalities; to investigate the formulation, organization and management of the program; and to observe the process of implementation.From a case study of the CsF, a review of the public policies literature was made, as well as a canvass of empiric surveys, governmental information and media repercussion about the program. The conclusion was, besides the program’s flaws, its abrupt end represented a kickback to the Brazilian development, due to the withdrawal of the incentivesto innovation and opportunities of social inclusion.Keywords: Science Without Borders program. Public policies. Intersectoriality

TeleMeios as a Virtual Environment and their possibilities in Hybrid Education

The discussion contemplates the construction and development of collaborative digital tools to support distance teaching, with its origins still in the 2000s, within the scope of the Multimeios Research Laboratory, linked to the Faculty of Education (FACED) of UFC, located at city of Fortaleza / Ceará / Brazil. Thus, it aims to analyze the experiences of construction and (re) structuring of the TeleMeios Virtual Teaching Environment (VTE) and its adaptive possibilities in a hybrid context, with a view to subsidizing formative actions in which learners and teachers can have access to virtual experiences in the learning environment which play the role of protagonists. As theoretical reference, there are the studies of Borges (2009), Jucá (2011), Moran (2015), Bacich; Tanzi Neto; Trevisani (2015) among others, which discuss about teaching and hybrid education, digital information and communication technologies, as well as other themes involving teaching and virtual and classroom learning. The research is bibliographical, of a qualitative nature, anchored in Lakatos and Marconi (2002), which makes use of publications such as textbooks, scientific articles, reviews, which deal with the subject. Among the findings, it can be highlighted that the TeleMeios environment has a formative potential to be explored and investigated, focusing on the structural and pedagogical design of virtual environments that surpass the concept of content repository and the idea of students as receptacles of knowledge. and teachers, as sole holders of knowledge

CASUÍSTICA DE PRIMATAS DO LABORATÓRIO DE MEDICINA ZOOLÓGICA DO HOSPITAL VETERINÁRIO DA UNIVERSIDADE FEDERAL DO PARANÁ DE 2017 A 2020

A infraordem Platyrrhini, representada pelos primatas do Novo Mundo, é composta por 18 gêneros em cinco famílias, que ocorrem em ampla distribuição geográfica no Brasil e atuam como indicadores de equilíbrio ecológico. O impacto antrópico em seus habitats afeta suas populações e, enquanto algumas espécies se adaptam às mudanças, outras entram em declínio. Foi realizado um levantamento da casuística de primatas encaminhados pelo Instituto Água e Terra do Paraná (IAT) ao Laboratório de Medicina Zoológica do Hospital Veterinário da Universidade Federal do Paraná (UFPR) em Curitiba, entre os anos de 2017 e 2020. Nesse período houve atendimentos de primatas de outras origens, que foram desconsiderados para o estudo. Foram recebidos 30 primatas de quatro espécies, sendo 14 (36%) saguis-de-tufo-preto (Callithrix penicillata), oito (26%) bugios-ruivos (Alouatta guariba), sete (23%) saguis-de-tufo-branco (Callithrix jacchus), e um (3%) macaco-prego (Sapajus apela). A maioria (56%) era do sexo feminino. Dezessete animais (56%) foram submetidos a procedimentos cirúrgicos, sendo nove ovário-histerectomias (52%), cinco orquiectomias (29%) e três procedimentos odontológicos (17%). Em 12 animais (40%), foi constatado traumatismo, cinco apresentando trauma crânio encefálico. As castrações eram eletivas e foram realizadas apenas em saguis, a pedido do IAT. Os saguis são primatas nativos do nordeste e cerrado brasileiro, e foram introduzidos no sul e sudeste do país, onde ocupam áreas de fragmentos florestais, praças e parques. As espécies introduzidas representam grande ameaça para a diversidade biológica nativa, e a esterilização de animais hígidos é uma estratégia de manejo que tem como objetivo amenizar os impactos causados pela espécie, reduzindo a sua proliferação (SILVA, SILVA e TERRA, 2018). Os dados obtidos refletem a capacidade de expansão da espécie invasora e a necessidade de programas de controle na região. Alguns primatas vêm migrando para os centros urbanos, onde estão mais predispostos a sofrer traumatismos por ataque de animais domésticos, eletrocussão, atropelamentos, ou são vítimas da violência humana devido ao receio equivocado de transmissão de febre amarela. Por estes motivos, a segunda maior causa de atendimentos em primatas foi traumatismo, como o crânio encefálico. Em estudo de Maders (2016) sobre a casuística de primatas recebidos no Hospital Veterinário da Universidade Federal do Rio Grande do Sul, a principal causa de atendimentos em primatas (21,56%) era relacionada a casos de trauma, entretanto não executaram esterilizações em saguis de vida livre. O fato de a maior casuística de primatas encaminhados ao Hospital Veterinário UFPR estar relacionada a procedimentos de controle de natalidade de espécies invasoras e suporte a animais traumatizados, reforça a importância da adoção de medidas de proteção para conservação das espécies de primatas nativas, aliados à conscientização da população

Measuring performance on the Healthcare Access and Quality Index for 195 countries and territories and selected subnational locations: A systematic analysis from the Global Burden of Disease Study 2016

Background: A key component of achieving universal health coverage is ensuring that all populations have access to quality health care. Examining where gains have occurred or progress has faltered across and within countries is crucial to guiding decisions and strategies for future improvement. We used the Global Burden of Diseases, Injuries, and Risk Factors Study 2016 (GBD 2016) to assess personal health-care access and quality with the Healthcare Access and Quality (HAQ) Index for 195 countries and territories, as well as subnational locations in seven countries, from 1990 to 2016. Methods Drawing from established methods and updated estimates from GBD 2016, we used 32 causes from which death should not occur in the presence of effective care to approximate personal health-care access and quality by location and over time. To better isolate potential effects of personal health-care access and quality from underlying risk factor patterns, we risk-standardised cause-specific deaths due to non-cancers by location-year, replacing the local joint exposure of environmental and behavioural risks with the global level of exposure. Supported by the expansion of cancer registry data in GBD 2016, we used mortality-to-incidence ratios for cancers instead of risk-standardised death rates to provide a stronger signal of the effects of personal health care and access on cancer survival. We transformed each cause to a scale of 0-100, with 0 as the first percentile (worst) observed between 1990 and 2016, and 100 as the 99th percentile (best); we set these thresholds at the country level, and then applied them to subnational locations. We applied a principal components analysis to construct the HAQ Index using all scaled cause values, providing an overall score of 0-100 of personal health-care access and quality by location over time. We then compared HAQ Index levels and trends by quintiles on the Socio-demographic Index (SDI), a summary measure of overall development. As derived from the broader GBD study and other data sources, we examined relationships between national HAQ Index scores and potential correlates of performance, such as total health spending per capita. Findings In 2016, HAQ Index performance spanned from a high of 97\ub71 (95% UI 95\ub78-98\ub71) in Iceland, followed by 96\ub76 (94\ub79-97\ub79) in Norway and 96\ub71 (94\ub75-97\ub73) in the Netherlands, to values as low as 18\ub76 (13\ub71-24\ub74) in the Central African Republic, 19\ub70 (14\ub73-23\ub77) in Somalia, and 23\ub74 (20\ub72-26\ub78) in Guinea-Bissau. The pace of progress achieved between 1990 and 2016 varied, with markedly faster improvements occurring between 2000 and 2016 for many countries in sub-Saharan Africa and southeast Asia, whereas several countries in Latin America and elsewhere saw progress stagnate after experiencing considerable advances in the HAQ Index between 1990 and 2000. Striking subnational disparities emerged in personal health-care access and quality, with China and India having particularly large gaps between locations with the highest and lowest scores in 2016. In China, performance ranged from 91\ub75 (89\ub71-93\ub76) in Beijing to 48\ub70 (43\ub74-53\ub72) in Tibet (a 43\ub75-point difference), while India saw a 30\ub78-point disparity, from 64\ub78 (59\ub76-68\ub78) in Goa to 34\ub70 (30\ub73-38\ub71) in Assam. Japan recorded the smallest range in subnational HAQ performance in 2016 (a 4\ub78-point difference), whereas differences between subnational locations with the highest and lowest HAQ Index values were more than two times as high for the USA and three times as high for England. State-level gaps in the HAQ Index in Mexico somewhat narrowed from 1990 to 2016 (from a 20\ub79-point to 17\ub70-point difference), whereas in Brazil, disparities slightly increased across states during this time (a 17\ub72-point to 20\ub74-point difference). Performance on the HAQ Index showed strong linkages to overall development, with high and high-middle SDI countries generally having higher scores and faster gains for non-communicable diseases. Nonetheless, countries across the development spectrum saw substantial gains in some key health service areas from 2000 to 2016, most notably vaccine-preventable diseases. Overall, national performance on the HAQ Index was positively associated with higher levels of total health spending per capita, as well as health systems inputs, but these relationships were quite heterogeneous, particularly among low-to-middle SDI countries. Interpretation GBD 2016 provides a more detailed understanding of past success and current challenges in improving personal health-care access and quality worldwide. Despite substantial gains since 2000, many low-SDI and middle- SDI countries face considerable challenges unless heightened policy action and investments focus on advancing access to and quality of health care across key health services, especially non-communicable diseases. Stagnating or minimal improvements experienced by several low-middle to high-middle SDI countries could reflect the complexities of re-orienting both primary and secondary health-care services beyond the more limited foci of the Millennium Development Goals. Alongside initiatives to strengthen public health programmes, the pursuit of universal health coverage hinges upon improving both access and quality worldwide, and thus requires adopting a more comprehensive view-and subsequent provision-of quality health care for all populations